using System;
using System.IO;
using Microsoft.Pex.Framework;

namespace MicroBenchmarks.WifeHusband
{
    public class Child
    {
        private int money;

        public Child(int money)
        {
            this.money = money;
        }

        public int Money
        {
            get { return money; }
        }

        public bool IsLargerThanFive()
        {
            return money > 5;
        }
    }
}